The vector linear program solver Bensolve – notes on theoretical background
نویسندگان
چکیده
منابع مشابه
The vector linear program solver Bensolve - notes on theoretical background
Bensolve is an open source implementation of Benson’s algorithm and its dual variant. Both algorithms compute primal and dual solutions of vector linear programs (VLP), which include the subclass of multiple objective linear programs (MOLP). The recent version of Bensolve can treat arbitrary vector linear programs whose upper image does not contain lines. This article surveys the theoretical ba...
متن کاملon the effect of linear & non-linear texts on students comprehension and recalling
چکیده ندارد.
15 صفحه اولKennedy's Education Program: Notes on the Political Background.
Reports Purfication of Antibody to Galactosyl-Protein Conjugates: E. W. Bassett, S. M. Beiser, S. W. Tanenbaum ...... .................................. 1475 Age Changes in Adenine Nucleotides in Flight Muscle of Male House Fly: M. Rockstein and D. E. Gutfreund ....... .............................. 1476 Ether-Induced Retrograde Amnesia for One-Trial Conditioning in Mice: J. P. Abt, W. B. Essma...
متن کاملReliable Linear Program Solver for Coho
Coho[3],[4],[5],[6] is a hardware verification system. It models a circuit by a continuous, differential equations; then verifies that some properties are hold by reachability analysis.However, closed form solutions for reachable problems usually do not exist, approximation techniques are performed. Coho computes an over-approximation of the reachable space: including every point that is actual...
متن کاملNotes on Vector Bundles
−→ V, (v1, v2) −→ v1+v2, are smooth. Note that we can add v1, v2∈V only if they lie in the same fiber over M , i.e. π(v1)=π(v2) ⇐⇒ (v1, v2) ∈ V ×M V. The space V ×M V is a smooth submanifold of V ×V , as follows immediately from the Implicit Function Theorem or can be seen directly. The local triviality condition means that for every point m∈M there exist a neighborhood U of m in M and a diffeo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Operational Research
سال: 2017
ISSN: 0377-2217
DOI: 10.1016/j.ejor.2016.02.039